An attempt to implement a formal verification tool for network protocols specification (mostly looking for vulnerabilities, e.g. CVE-2008-4609).
- error detection and correction
- aknowledgements
- automatic repeat request
- sequence numbers
- timeouts
comeillfoo/netverif
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|